Convex combination

In convex geometry, a convex combination is a linear combination of points (which can be vectors, scalars, or more generally points in an affine space) where all coefficients are non-negative and sum up to 1.

More formally, given a finite number of points $x_1, x_2, \dots, x_n\,$ in a real vector space, a convex combination of these points is a point of the form

$\alpha_1x_1%2B\alpha_2x_2%2B\cdots%2B\alpha_nx_n$

where the real numbers $\alpha_i\,$ satisfy $\alpha_i\ge 0$ and $\alpha_1%2B\alpha_2%2B\cdots%2B\alpha_n=1.$

As a particular example, every convex combination of two points lies on the line segment between the points.

All convex combinations are within the convex hull of the given points. In fact, the collection of all such convex combinations of points in the set constitutes the convex hull of the set.

There exist subsets of a vector space that are not closed under linear combinations but are closed under convex combinations. For example, the interval $[0,1]$ is convex but generates the real-number line under linear combinations. Another example is the convex set of probability distributions, as linear combinations preserve neither nonnegativity nor affinity (i.e., having total integral one).

Other objects

Similarly, a convex combination $X$ of probability distributions $Y_i$ is a weighted sum (where $\alpha_i$ satisfy the same constraints as above) of its component probability distributions, with probability density function:

$f_{X}(x) = \sum_{i=1}^{n} \alpha_i f_{Y_i}(x)$

Related constructions

For more details on this topic, see Linear combination#Affine, conical, and convex combinations.

A conical combination is a linear combination with nonnegative coefficients
Weighted means are functionally the same as convex combinations, but they use a different notation. The coefficients (weights) in a weighted mean are not required to sum to 1; instead the sum is explicitly divided from the linear combination.
Affine combinations are like convex combinations, but the coefficients are not required to be non-negative. Hence affine combinations are defined in vector spaces over any field.

Convex combination

Other objects

Related constructions

See also